Two cryptomorphic formalizations of projective incidence geometry
نویسندگان
چکیده
منابع مشابه
On two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملTwo Formalizations of Context: A Comparison
We investigate the relationship between two well known t'ormalizations of context: Prσpofiitional Lυ(μc, of Context (PLC) [4]. and Local Models Semantic* (LMS) [11]We start with a summary of the desiderata for a logic of context, mainly inspired by McCarthy s paper on generality in AI [15] and his notes on formalizing context [16]. We briefly present LMS, and its automatization using MultiConte...
متن کاملTwo Results in Computer Vision using Projective Geometry
In the first part of this thesis the problem of metric reconstruction and texture acquisition from a single uncalibrated view of a surface of revolution (SOR) is addressed. Geometric constraints induced in the image by the symmetry properties of the SOR structure are exploited to perform self-calibration of a natural camera, 3D metric reconstruction, texture acquisition & mosaicing and automati...
متن کاملProjective Geometry Considered Harmful
Methods based on projective geometry have become popular in machine vision because they lead to elegant mathematics, and easy-to-solve linear equations [Longuett-Higgins 81, Hartley 97a, Quan & Lan 99]. It is often not realized that one pays a heavy price for this. Such method do not correctly model the physics of image formation and as a result require more correspondences and are considerably...
متن کاملProjective Geometry on Manifolds
Introduction 3 1. Affine geometry 4 1.1. Affine spaces 5 1.1.1. Euclidean geometry and its isometries 5 1.1.2. Affine spaces 7 1.1.3. Affine transformations 8 1.1.4. Tangent spaces 9 1.1.5. Acceleration and geodesics 10 1.1.6. Connections 11 1.2. The hierarchy of structures 11 1.3. Affine vector fields 12 1.4. Affine subspaces 13 1.5. Volume in affine geometry 14 1.6. Centers of gravity 14 1.7....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2018
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-018-9604-z